Panel: given that hardware verification has been an uphill battle, what is the future of software verification?
نویسندگان
چکیده
This industrial panel is organized to discuss the views, experiences and opinions of formal methods practitioners from design automation, hardware and software industries, in order to understand the industrial needs and trends in using formal methods. In particular, we discuss the current thrust on application of formal verification in software development, and what hardware formal verification experiences bring to bear for formal software verification.
منابع مشابه
In vivo dose verification using using an amorphous silicon flat panel-type imager (a-Si EPIDs)
Introduction: Electronic portal imaging devices (EPIDs) could be used to dose verification of radiotherapy treatment plans. In vivo dose verification is performed to reduce differences found between dose delivered to the patient and the prescribed dose. The aim of this study was to perform a fast and efficient technique for the verification of delivered dose to the patient usin...
متن کاملPanel on design for verification
Although research in automated verification has produced very promising results, the question of how to effectively integrate these results into the software and hardware development processes is still unresolved. Typically, fully automated verification techniques are not scalable, and scalable verification techniques require substantial user guidance. Alternatively, developers could facilitate...
متن کاملDetermination of geometric accuracy of radiotherapy fields by port film and DRR using Matlab Graphical User Interface
Introduction: Radiation therapy is one of the methods of cancer treatment. In this method, it is necessary to avoid harming the healthy tissues of the patient which is in the vicinity of the target, as much as possible. Treatment verification is one of the most important steps of radiation therapy which has two usual methods, using Port film and EPID. The accuracy and precision of treatment in ...
متن کاملIntroduction of a Reliable Software for the Calculation of the Gamma Index
Introduction: The gamma index is a known parameter for radiotherapy dose verification. Many free and commercial programs have been written for the calculation of this index. However, the verification of the results has been overlooked in many of the programs. The present study tested the validity of three gamma index calculator programs. Material and ...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل